#include<stdio.h>
struct stu_type
{
	char num[100];
	char name[100];
	int s;
	float j;
}stu[100];
int main()
{
	int i, n;
	for (i = 0; i < 100; i++)
	{
		scanf("%s%s%d", stu[i].num, stu[i].name, &stu[i].s);
		if (stu[i].s < 60)
			stu[i].j = 0.0;
		else if (stu[i].s < 65)
			stu[i].j = ((stu[i].j - 60) * 0.1 + 1.5);
		else if (stu[i].s < 75)
			stu[i].j = ((stu[i].j - 65) * 0.1 + 2.0);
		else if (stu[i].s < 85)
			stu[i].j = ((stu[i].j - 75) * 0.1 + 3.0);
		else if (stu[i].s < 95)
			stu[i].j = ((stu[i].j - 85) * 0.1 + 4.0);
		else
			stu[i].j = 5.0;
	}
	n = i;
	int k = 0;
	for (i = 0; i < n; i++)
	{
		if (stu[i].j > stu[k].j)
			k = i;
	}
	for (i = 0; i < n; i++)
	{
		if (stu[k].j == stu[i].j)
			printf("%s %s %.1f\n", stu[i].num, stu[i].name, stu[i].j);
	}
	return 0;

}